Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Fundamentals of Mathematics, Logics, Set Theory,Theoretical Computer Science |
| Keywords | computable model theory, algorithmic game theory, algorithms, automatic structures |
Current contact address
| Country | New Zealand |
|---|---|
| City | Auckland |
| Institution | University of Auckland |
| Institute | School of Computer Science |
Host during sponsorship
| Prof. Dr. Klaus Ambos-Spies | Institut für Mathematik, Ruprecht-Karls-Universität Heidelberg, Heidelberg |
|---|---|
| Prof. Dr. Markus Lohrey | Fachbereich 12 - Elektrotechnik und Informatik, Universität Siegen, Siegen |
| Start of initial sponsorship | 01/08/2002 |
Programme(s)
| 2001 | Humboldt Research Fellowship Programme |
|---|---|
| 2019 | Humboldt Research Award Programme |
Nominator's project description
| Professor Khoussainov is well known internationally for his outstanding research in computable model theory and logic in computer science. He is a co-founder of the theory of automatic structures and combines techniques from a large variety of areas, including logic, recursion theory, automata theory and algorithmics. During his stay in Germany, he intends to work on automatic structures, algorithmic randomness and game theory. |